Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
411	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2007-05-11 02:54:57 Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory
412	A Systematic Proof Theory for Several Modal Logics Charles Stewart and Phiniki Stouppa Add to Reading List Source URL: www.textproof.com Language: English - Date: 2008-12-23 04:40:00 Sequent calculus Proof calculus Propositional calculus Structural proof theory Sequent Cut-elimination theorem Hilbert system Modal logic Rule of inference Logic Mathematical logic Proof theory
413	A Deep Inference System for the Modal Logic S5 Phiniki Stouppa ∗ March 1, 2006 Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2006-03-01 08:48:04 Sequent calculus Structural proof theory Sequent Modal logic Rule of inference Cut-elimination theorem Deep inference Linear logic Formal proof Logic Proof theory Mathematical logic
414	GDP Festschrift ENTCS, to appear Event Domains, Stable Functions and Proof-Nets Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:36:57 Mathematics Curry–Howard correspondence Sequent calculus Cut-elimination theorem Proof net Linear logic Denotational semantics Model theory Net Proof theory Logic Mathematical logic
415	Deep Sequent Systems for Modal Logic ¨nnler Kai Bru Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2006-03-24 13:00:48 Mathematics Sequent calculus Sequent Symbol Soundness Kripke semantics Natural deduction Admissible rule Logic Proof theory Mathematical logic
416	A Proof Theory for DL-Lite? Diego Calvanese, Evgeny Kharlamov, Werner Nutt Faculty of Computer Science, Free University of Bozen-Bolzano, Italy {calvanese,kharlamov,nutt}@inf.unibz.it Abstract. In this work we propose a Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Propositional calculus Deduction Rules of inference Formal methods Lambda calculus Valuation Symbol Entailment Resolution Logic Mathematics Mathematical logic
417	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid Logic Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27 Philosophical logic Deduction Automated theorem proving Natural deduction Method of analytic tableaux Deduction theorem Kripke semantics Sequent calculus Modal logic Logic Mathematical logic Proof theory
418	MUltlog 1.0: Towards an Expert System for Many-valued Logics? ?? Vienna Group for Multiple-valued Logics??? Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-11 11:50:57 Predicate logic Classical logic Propositional calculus Philosophical logic Many-valued logic Natural deduction First-order logic Modal logic Sequent calculus Logic Mathematical logic Proof theory
419	Calculi for the G¨odel Logic M. Ultlog July 11, 2001 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-11 08:10:51 Mathematics Deduction Natural deduction Valuation Sequent calculus Symbol Curry–Howard correspondence Entailment Logic Proof theory Mathematical logic
420	GREAT THEOREMS: THE ART OF MATHEMATICS Honors / Math 411G, Spring 2009 Add to Reading List Source URL: www.math.nmsu.edu Language: English - Date: 2014-04-24 23:01:06 Theorem Mathematical proof Mereology Calculus Logic Mathematics Mathematical logic